Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
91	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics
92	Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, Venice Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:02:24 Algebra Valuation Symbol Mobile Membranes Natural deduction Process calculi Abstract algebra Ambient calculus
93	A Calculus of Bounded Capacities? F. Barbanera1 , M. Bugliesi2 , M. Dezani-Ciancaglini3 , and V. Sassone4 1 2 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:50:58 Mobile Membranes Process calculi Ambient calculus Calculus
94	A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Computing Ambient calculus Π-calculus Process calculus Actor model Calculus Lambda calculus Communicating sequential processes Combinatory logic Process calculi Computer science Applied mathematics
95	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering
96	Access control for mobile agents: the calculus of Boxed Ambients MICHELE BUGLIESI Universita` ‘Ca’ Foscari’, Venezia, Italy and GIUSEPPE CASTAGNA Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:01:59 Applied mathematics Computer science Computing Formal methods Functional languages Π-calculus Lambda calculus Q Access control Process calculi Theoretical computer science Ambient calculus
97	A formal basis for the MC# programming language (Extended Abstract) Yury Serdyuk Program Systems Institute of Russian Academy of Sciences, Pereslavl-Zalessky, Russia Add to Reading List Source URL: www.mcsharp.net Language: English - Date: 2007-08-05 07:34:46 Process calculi Inter-process communication Actor model Microsoft Research Parallel computing Join-calculus Polyphonic C sharp Message passing Objective-C Computing Concurrent computing Computer programming
98	Secrecy in Untrusted Networks? Michele Bugliesi 1 , Silvia Crafa 1 , Amela Prelic 2 , and Vladimiro Sassone 3 Abstract. We investigate the protection of migrating agents against the untrusted sites they traverse. The res Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:55:51 Process calculi Entailment Mobile Membranes Logic Deduction Ambient calculus
99	MATHEMATICAL TRIPOS: PART II Michaelmas Term 2014 OPTIMIZATION AND CONTROL Add to Reading List Source URL: www.statslab.cam.ac.uk Language: English - Date: 2014-11-10 12:53:27 Wave equation Optimal control Normal distribution Markov decision process Heat equation Spectral theory of ordinary differential equations Mathematical analysis Calculus Statistics
100	Boxed Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 2 D´epartement d’Informatique Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:01 Applied mathematics Computer science Mathematics Π-calculus Lambda calculus Calculus XTR Mobile Membranes Process calculi Theoretical computer science Ambient calculus